Thomas W. Reps: buscar en el sitio web de Z-Library

Libre acceso a los conocimientos y la cultura.

Don't use scam websites

Libros (18)
Más populares
Lista
- Lista
- Tabla

1

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Thomas Reps, Mooly Sagiv, Jörg Bauer (auth.), Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 4.51 MB

0 / 0

english, 2007

2

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Reinhard Wilhelm, Mooly Sagiv, Thomas Reps (auth.), David A. Watt (eds.)

Año:

2000

Idioma:

english

Archivo:

PDF, 2.40 MB

0 / 0

english, 2000

3

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Gogul Balakrishnan, Thomas Reps (auth.), Byron Cook, Andreas Podelski (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 4.02 MB

0 / 0

english, 2007

4

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Compiler Construction: 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Reinhard Wilhelm, Mooly Sagiv, Thomas Reps (auth.), David A. Watt (eds.)

Año:

2000

Idioma:

english

Archivo:

PDF, 4.73 MB

0 / 0

english, 2000

5

Generating Language-Based Environments

Generating Language-Based Environments

Año:

2004

Idioma:

english

Archivo:

PDF, 6.95 MB

0 / 0

english, 2004

6

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Thomas Reps, Mooly Sagiv, Jörg Bauer (auth.), Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 12.34 MB

0 / 5.0

english, 2007

7

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Thomas Reps, Mooly Sagiv, Jörg Bauer (auth.), Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 4.62 MB

0 / 0

english, 2007

8

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)

Año:

2002

Idioma:

english

Archivo:

PDF, 5.29 MB

0 / 0

english, 2002

9

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)

Año:

2002

Idioma:

english

Archivo:

PDF, 6.30 MB

0 / 0

english, 2002

10

Generating Language-based Environments

Generating Language-based Environments

Año:

1984

Idioma:

english

Archivo:

DJVU, 964 KB

0 / 0

english, 1984

11

Generating Language-Based Environments

Generating Language-Based Environments

Año:

2004

Idioma:

english

Archivo:

PDF, 6.95 MB

0 / 5.0

english, 2004

12

The Synthesizer Generator Reference Manual

The Synthesizer Generator Reference Manual

Thomas W. Reps, Tim Teitelbaum

Año:

1989

Idioma:

english

Archivo:

PDF, 3.09 MB

0 / 0

english, 1989

13

The Synthesizer Generator: A System for Constructing Language-Based Editors

The Synthesizer Generator: A System for Constructing Language-Based Editors

Thomas W. Reps, Tim Teitelbaum

Año:

1989

Idioma:

english

Archivo:

PDF, 3.08 MB

0 / 0

english, 1989

14

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceed

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceed

Springer-Verlag Berlin Heidelberg

Somesh Jha, Stefan Schwoon, Hao Wang, Thomas Reps (auth.), Holger Hermanns, Jens Palsberg (eds.)

Año:

2006

Idioma:

english

Archivo:

PDF, 5.35 MB

0 / 0

english, 2006

15

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Thomas Reps, Mooly Sagiv, Jörg Bauer (auth.), Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 4.78 MB

0 / 0

english, 2007

16

ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps, Susan Horwitz (auth.), H. Ganzinger (eds.)

Año:

1988

Idioma:

english

Archivo:

DJVU, 4.14 MB

0 / 0

english, 1988

17

ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps, Susan Horwitz (auth.), H. Ganzinger (eds.)

Año:

1988

Idioma:

english

Archivo:

PDF, 11.17 MB

0 / 0

english, 1988

18

Analysis Techniques for Information Security

Analysis Techniques for Information Security

Morgan and Claypool Publishers

Somesh Jha, Anupam Datta, Ninghui Li, David Melski, Thomas Reps

Año:

2010

Idioma:

english

Archivo:

PDF, 1.30 MB

0 / 0

english, 2010